let rec foo x =
    ()
